Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
21	Integrating two Simulation Modules with a General Parallelization Framework David Charypar Fabian Märki Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2011-05-06 03:55:57 Digital electronics Electronic design automation Electronic engineering Simulation Scientific modeling Operations research PTV VISSIM Scientific modelling Traffic simulation Logic simulation Agent-based model Computer simulation
22	A Logic Programming Language for Multi-Agent Systems Stefania Costantini Arianna Tocchio Universita` degli Studi di L’Aquila Dipartimento di Informatica Add to Reading List Source URL: costantini.di.univaq.it Language: English - Date: 2009-11-30 06:18:11
23	STRC 2010 Calculation Time Parallel Queue Simulation Thread Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-08-27 08:05:35 Software Scientific modeling Computing Digital electronics Simulation Electronic design automation Operations research Agent-based model Logic simulation Traffic simulation Simula Thread
24	Agent-Based Activities Planning for an Iterative Traffic Simulation of Switzerland – Activity Time Allocation Michael Balmer, Dept. of Computer Science, ETH Zurich ¨ Bryan Raney, Dept. of Computer Science, ETH Zurich Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-01-15 15:14:39 Multi-agent systems Transportation planning Scientific modeling Complex systems theory Models of computation Traffic simulation Agent-based model Simulation Route assignment Traffic congestion Logic simulation
25	: Selected Publications of Vladimir V. Rybakov 2009: Vladimir Rybakov: Linear Temporal Logic LT KK extended by Multi-Agent Logic Kn with Interacting Agents.- Accepted, Published online in: Journal of Logic and Add to Reading List Source URL: www2.docm.mmu.ac.uk Language: English - Date: 2013-01-29 06:42:57
26	Location Choice for Shopping and Leisure Activities Implemented in the Activity-based Multi-agent Transport Simulation MATSim Andreas Horni Darren M. Scott Michael Balmer Kay.W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2008-11-24 07:42:20 Economy Academia Business Systems theory Scientific modeling Transportation planning Algorithm Mathematical logic Theoretical computer science Scientific modelling Leisure Time
27	A first approach to a continuous simulation of daily travel Fabian Märki David Charypar Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2010-09-27 11:15:51 Simulation Electronic engineering Operations research Traffic simulation Logic simulation Continuous simulation Scientific modeling Design Electronics Agent-based model
28	Speaker: Valentin Goranko (Technical University of Denmark) Title: Modalities for multi-agent systems Over the pastyears modal logic has become an increasingly popular and successful framework for modeling and ana Add to Reading List Source URL: modalityandmodalities.weebly.com Language: English - Date: 2012-04-28 13:36:16
29	A Logic Programming Language for Multi-Agent Systems Stefania Costantini Arianna Tocchio Universita` degli Studi di L’Aquila Dipartimento di Informatica Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2009-11-30 06:18:11
30	Performance Improvements for Large Scale Traffic Simulation in MATSim Rashid A. Waraich David Charypar Michael Balmer Kay W. Axhausen Add to Reading List Source URL: www.strc.ch Language: English - Date: 2009-09-16 14:58:16 Computing Operations research Software Digital electronics Scientific modeling Simulation Electronic design automation Traffic simulation Agent-based model Thread Logic simulation Queueing theory